Approximate fixed points in abstract interpretation
نویسندگان
چکیده
منابع مشابه
Approximate Fixed Points in Abstract Interpretation
Much of the earlier development of abstract interpretation, and its application to imperative programming languages, has concerned techniques for finding fixed points in large (often infinite) lattices. The standard approach in the abstract interpretation of functional languages has been to work with small, finite lattices and this supposedly circumvents the need for such techniques. However, p...
متن کاملDigital Fixed Points, Approximate Fixed Points, and Universal Functions
A. Rosenfeld [23] introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approxima...
متن کاملContinuity properties and sensitivity analysis of parameterized fixed points and approximate fixed points
In this paper we consider continuity of the set of fixed points and approximate fixed points for parameterized set-valued mappings. Continuity properties are provided for the fixed points of general multivalued mappings, with additional results shown for contraction mappings. Further analysis is provided for the continuity of the approximate fixed points of set-valued functions. Additional resu...
متن کاملApproximate fixed points of nonexpansive functions in product spaces
1 Department of Mathematics, Darmstadt University of Technology Schlossgartenstrasse 7, D-64289 Darmstadt, Germany [email protected] 2 Institute of Mathematics ”Simion Stoilow” of the Romanian Academy P.O. Box 1-462, Bucharest, Romania Currently: Department of Mathematics, Darmstadt University of Technology Schlossgartenstrasse 7, D-64289 Darmstadt, Germany leustean@mathemat...
متن کاملSome Fixed and Periodic Points in Abstract Metric Spaces
and Applied Analysis 3 Let X, d be an abstract metric space. The following properties are often used, particularly in the case when the underlying cone is nonnormal. The only assumption is that the cone K is solid. For details about these properties see, for example, 11 . p1 If a ha where a ∈ K and h ∈ 0, 1 , then a θ. p2 If θ u c for each c, θ c, then u θ. p3 If u v and v w, then u w. p4 If c ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1994
ISSN: 0167-6423
DOI: 10.1016/0167-6423(94)00007-7